SEN - R 9801 January 31 , 1998
نویسندگان
چکیده
We present a survey of connuence properties of (acyclic) term graph rewriting. Results and counterexamples are given for diierent kinds of term graph rewriting: besides plain applications of rewrite rules, extensions with the operations of collapsing and copying, and with both operations together are considered. Collapsing and copying together constitute bisimilarity of term graphs. We establish suucient conditions for|and counterexamples to|connuence, connuence modulo bisimilarity and the Church-Rosser property modulo bisimilarity. Moreover, we address rewriting modulo bisimilarity, that is, rewriting of bisimilarity classes of term graphs.
منابع مشابه
Therapeutic Potential of Dioscorea Extract (DA-9801) in Comparison with Alpha Lipoic Acid on the Peripheral Nerves in Experimental Diabetes
DA-9801, a mixture of extracts from Dioscorea japonica Thunb. and Dioscorea nipponica Makino, was reported to have neurotrophic activity. Therefore, we investigated the therapeutic potential of DA-9801, in comparison with alpha lipoic acid (ALA), for peripheral nerves preservation in experimental diabetes. Experimental animals were divided into 4 groups, and each group was designated according ...
متن کاملDioscorea Extract (DA-9801) Modulates Markers of Peripheral Neuropathy in Type 2 Diabetic db/db Mice
The purpose of this study was to investigate the therapeutic effects of DA-9801, an optimized extract of Dioscorea species, on diabetic peripheral neuropathy in a type 2 diabetic animal model. In this study, db/db mice were treated with DA-9801 (30 and 100 mg/kg, daily, p.o.) for 12 weeks. DA-9801 reduced the blood glucose levels and increased the withdrawal latencies in hot plate tests. Moreov...
متن کاملEvaluation of the transporter-mediated herb-drug interaction potential of DA-9801, a standardized dioscorea extract for diabetic neuropathy, in human in vitro and rat in vivo
BACKGROUND Drug transporters play important roles in the absorption, distribution, and elimination of drugs and thereby, modulate drug efficacy and toxicity. With a growing use of poly pharmacy, concurrent administration of herbal extracts that modulate transporter activities with drugs can cause serious adverse reactions. Therefore, prediction and evaluation of drug-drug interaction potential ...
متن کاملDEFENCE RESEARCH ESTABLISHMENT CENTRE DE RECHERCHES POUR LA DEFENSE VALCARTIER, QUEBEC DREV-R-9801 Unlimited Distribution/Distribution illimitee RESULTS OF AN INVESTIGATION OF CONCEPTS FOR DEVELOPING COMPUTER-BASED DECISION SUPPORT FOR A MODERN FRIGATE
DREV is investigating concepts for the development of a computer-based, realtime decision support system that can provide combat system operators with advanced support capabilities for countering the current and anticipated threat to the Canadian Patrol Frigate. Among its principal roles, this system will continuously take in data from the ship's sensors and other information sources; support t...
متن کاملKaluza-Klein and H-Dyons in String Theory
Kaluza-Klein monopole and H-monopole solutions, which are T-dual to each other, are the well-known solutions of string theory compactified on T . Since string theory in this case has an S-duality symmetry, we explicitly construct the corresponding dyonic solutions by expressing the D = 4 string effective action in a manifestly SL(2, R) invariant form with an SL(2, R) invariant constraint. The S...
متن کامل